121. Software verification and validation for practitioners and managers
پدیدآورنده : Rakitin, Steven R.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Verification ، Computer software,Validation ، Computer software
رده :
QA
76
.
76
.
V47
R35
2001
122. Software verification and validation : realistic project approaches
پدیدآورنده : Deutsch, Michael S
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computer software -- Verification,، Computer software -- Validation
رده :
QA
76
.
6
.
D48
123. Software verification & validation:realistic project approaches
پدیدآورنده : DEUTSCH,MICHAEL S
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : COMPUTER SOFTWARE-VERIFICATION , COMPUTER SOFTWARE-VALIDATION
رده :
QA
76
.
76
.
V47
D48
124. Specification and verification of multi-agent systems /
پدیدآورنده : Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
125. String analysis for software verification and security
پدیدآورنده : Tevfik Bultan... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification
رده :
QA
76
.
76
.
V47S7
126. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
127. Systems and software verification :
پدیدآورنده : B. Bérard [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Verification.,Computer systems -- Verification.
رده :
QA76
.
76
.
V47
B347
2011
128. Systems and software verification: model-checking techniques and tools
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer systems-- Verification,، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
S97
2001
129. Systems and software verification : model-checking techniques and tools
پدیدآورنده : B. Berard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Vertification ، Computer systems,، Computer software -- Verification
رده :
QA
76
.
76
.
V47S97
130. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
131. Tests and Proofs
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگرهها,نرمافزار -- راستیآزمایی -- کنگرهها,روشهای صوری (کامپیوتر) -- کنگرهها
رده :
E-Book
,
132. Tests and Proofs
پدیدآورنده : \ Jasmin Christian Blanchette, Nikolai Kosmatov (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Testing -- Congresses.,Computer software -- Verification -- Congresses.,نرمافزار -- آزمایش -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
T48
2015
E-Book
,
133. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
134. The software audit guide /
پدیدآورنده : John W. Helgeson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Validation.,Computer software-- Verification.
135. The software audit guide
پدیدآورنده : Helgeson, John W.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
754
.
H65
2010
136. Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
پدیدآورنده : Dennis Dams...]et al.[, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
1680
137. Theory and Applications of Satisfiability Testing – SAT 2015
پدیدآورنده : \ Marijn Heule , Sean Weaver (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algorithms -- Congresses.,Computer software -- Verification -- Congresses,Computer algorithms.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- راستیآزمایی -- کنگره ها ,الگوریتمهای کامپیوتری
رده :
QA
76
.
9
.
A43
2015
E-Book
,
138. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
139. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده : \ Christel Baier, Cesare Tinelli (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA76
.
9
.
T33
2010
E-Book
,
140. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88